Formal Specification – alle CDs, LPs und Bücher

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Lecture Notes in Computer Science - Band 15221

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Coldplay

Moon Music (Limited Numbered Indie Exclusive Edition) (Red Eco Vinyl)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

Artikel am Lager

LP

Coldplay

Moon Music (Limited Numbered Edition) (Pink Eco Vinyl)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

Artikel am Lager

LP

Coldplay

Moon Music

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

lieferbar innerhalb 2-3 Wochen

CD

Coldplay

Moon Music (Digisleeve)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

Artikel am Lager

CD

Coldplay

Moon Music (2nd Edition) (Clear Vinyl)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

Artikel am Lager

LP

Coldplay

Moon Music (2nd Eco Edition)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

lieferbar innerhalb einer Woche

CD

Coldplay

Moon Music (Limited Notebook Edition)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

Artikel am Lager

CD

Boy George

Sold (UHQ-CD/MQA-CD) (Papersleeve)

Dieses Solo-Debütalbum wurde von Malcolm Garrett, einem der berühmtesten Designer der 80er Jahre, gezeichnet. Stewart Levin, der als Produzent von Simply Red bekannt ist, wurde angeheuert. Das Album kehrt…

CD

Coldplay

Moon Music (Limited Numbered Edition) (Yellow Eco Vinyl) (in Deutschland/Österreich/Schweiz exklusiv für jpc!)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

LP

Concurrency, Specification and Programming

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their imp…

lieferbar innerhalb 2-3 Wochen

Buch

Rebeca for Actor Analysis in Action

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sh…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Formal Specification" - alle CDs, LPs und Bücher